<?php
session_start(); /*iniciar sesión*/

if (!$_SESSION) /*valida el ingreso por medio de la sesion*/
{
  echo '<script language = javascript>
  self.location = "../HomeLogin.html"</script>';
}
?>